(0 7 5)(1 17 3)(2 11 4)(6 15 9)(8 16 13)(10 14 12)
ALLOWS (11/8)-SEQUENCE
1: (4 8 11)
(0 7 5)(1 17 3)(2 11 16 13 8)(4)(6 15 9)(10 14 12)
2: (6 15 9)
(0 7 5)(1 17 3)(2 11 16 13 8)(4)(6)(9)(10 14 12)(15)
3: (0 7 5)
(0)(1 17 3)(2 11 16 13 8)(4)(5)(6)(7)(9)(10 14 12)(15)
4: (8 16 13)
(0)(1 17 3)(2 11 16)(4)(5)(6)(7)(8)(9)(10 14 12)(13)(15)